1.3.2 Verify associative and distributive laws through Venn diagram